Geometry : A Small Package for Mechanized (Plane) Geometry Manipulations
نویسنده
چکیده
Geometry is not only a part of mathematics with ancient roots but also a vivid area of modern research. Especially the field of geometry, called by some negligence “elementary”, continues to attract the attention also of the great community of leisure mathematicians. This is probably due to the small set of prerequisites necessary to formulate the problems posed in this area and the erudition and non formal approaches ubiquitously needed to solve them. Examples from this area are also an indispensable component of high school mathematical competitions of different levels upto the International Mathematics Olympiad (IMO) [6].
منابع مشابه
Contributions to differential geometry of spacelike curves in Lorentzian plane L2
In this work, first the differential equation characterizing position vector of spacelike curve is obtained in Lorentzian plane $mathbb{L}^{2}.$ Then the special curves mentioned above are studied in Lorentzian plane $mathbb{L}%^{2}.$ Finally some characterizations of these special curves are given in $mathbb{L}^{2}.$
متن کاملA Time-Domain Method for Shape Reconstruction of a Target with Known Electrical Properties (RESEARCH NOTE)
This paper uses a method for shape reconstruction of a 2-D homogeneous object with arbitrary geometry and known electrical properties. In this method, the object is illuminated by a Gaussian pulse, modulated with sinusoidal carrier plane wave and the time domains’ footprint signal due to object presence is used for the shape reconstruction. A nonlinear feedback loop is used to minimize the diff...
متن کاملTHALES: a Software Package for Plane Geometry Constructions with a Natural Language Interface
THALES is a software package for plane geometry constructions, supplied with a natural language interlace. Using THALES requires no knowledge of a programming language. The interface is capable of processing practically all kinds of instructions within the subset of plane geometry English. The "static semantic" module has been generated on the basis of a high-level attribute specification. Tran...
متن کاملSpatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملSweep Line Algorithm for Convex Hull Revisited
Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...
متن کامل